Second-line Treatment of HIV-1 With Ritonavir Boosted Atazanavir or Darunavir With an Optimized NRTI Backbone | NCT01605084 | Trialant