Statistics for The pharmacokinetics of lopinavir in HIV-infected adults receiving rifampicin with adjusted doses of lopinavir