The purpose of this study is to study amprenavir/ritonavir, saquinavir/ritonavir or efavirenz in HIV-infected patients following failure with Kaletra (ABT-378/ritonavir) as their first protease inhibitor based HAART.