AIDS-080350 AIDS080350 Uridine 3'-spiroxirane 5'-triphosphate