AIDS-154874 AIDS154874 RDP [5-(3-Carbamoyl(1,2,4-triazolyl))-3,4-dihydroxyoxolan-2-yl]methyl dihydrogen phosphate