Economic modeling of HIV treatments.