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