Practical Therapeutic Drug Management in HIV‐Infected Patients: Use of Population Pharmacokinetic Models Supplemented by Individualized Bayesian Dose Optimization