Study Switching HIV-1 Infected Patients With an Undetectable Viral Load on a First Protease Inhibitor-Based Regimen to an Efavirenz-Based Regimen | NCT00135382 | Trialant