Cigarette smoking by HIV patients