Cost effectiveness of lopinavir/ritonavir compared with atazanavir plus ritonavir in antiretroviral-experienced patients in the US.