Simultaneous Population Pharmacokinetic Modelling of Atazanavir and Ritonavir in HIV-Infected Adults and Assessment of Different Dose Reduction Strategies