1. Currently on a failing HAART regimen with 2 qualifying plasma viral load measurements (hospital/clinic value within 4 weeks of screening with viral load equivalent to =>1,000 c/mL on the Roche Amplicor[TM] and central lab measurements of =>1,000 c/mL (Roche Amplicor[TM]) within 4 weeks of randomization