AIDS-004294 AIDS004294 C-OXT-GTP Carbocyclic Oxetanocin G triphosphate