Biotransformation: studies in humans and in vitro studies using human liver microsomes have demonstrated that efavirenz is principally metabolised by the cytochrome P450 system to hydroxylated metabolites with subsequent glucuronidation of these hydroxylated metabolites.