Cost effectiveness of lopinavir/ritonavir tablets compared with atazanavir plus ritonavir in antiretroviral-experienced patients in the UK, France, Italy and Spain.