AIDS-072662 AIDS072662 Uridine 3'-spiroxirane triphosphate