(-)-.beta.-D-1',3'-Dioxolane guanosine, 5'-triphosphate AIDS-086432 AIDS086432 DXG-TP