Effect of efavirenz on the pharmacokinetics of ketoconazole in HIV-infected patients