Efavirenz 600 mg QD + lopinavir/ ritonavir 400mg/ 100 mg BID (maraviroc 300 mg BID) Efavirenz 600 mg QD + saquinavir/ ritonavir 1000 mg/ 100 mg BID (maraviroc 100 mg BID) Efavirenz and atazanavir/ ritonavir or darunavir/ ritonavir Antibiotics