Pharmacokinetic and Pharmacodynamic Analysis of Efavirenz Dose Reduction Using a Physiologically-based Dynamic Model