Statistics of Estimation of HIV treatment-efficacy by combining structural nested mean models with pharmacokinetic models of antiretroviral drug exposure