A Comparison of BMS-232632 With Efavirenz, Each in Combination With Zidovudine-Lamivudine | NCT00013897 | Trialant