The purpose of this study is to see if ABT-378/ritonavir plus efavirenz is safe and effective in lowering the amount of HIV in the blood of patients who have been treated with more than 1 protease inhibitor (PI).