ARM B1: ABC plus EFV plus adefovir dipivoxil plus NFV. ARM B2: ABC plus EFV plus adefovir dipivoxil plus NFV placebo. ARM B3: 2 nucleoside reverse transcriptase inhibitors (NRTIs) (or 1 if 2 not tolerated) (chosen from ZDV, 3TC, d4T, or didanosine [ddI]) plus EFV plus adefovir dipivoxil plus NFV.