Cost-effectiveness of tipranavir in treatment-experienced HIV patients in the United States.