Effectiveness of behavioural tobacco cessation interventions with and without pharmacotherapy among people living with HIV in Viet Nam: a three-arm pragmatic randomised controlled trial | Synapse