An HIV-tailored quit-smoking counselling pilot intervention targeting depressive symptoms plus Nicotine Replacement Therapy. Issue 1 (2nd January 2017)