The Cost-Effectiveness of Treatment with Lamivudine and Zidovudine Compared with Zidovudine Alone: A Comparison of Markov Model and Trial Data Estimates