Biomimetic oxidation of aromatic xenobiotics: synthesis of the phenolic metabolites from the anti-HIV drug efavirenz.