(-)-(2R,4R)-9-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]guanine (-)-.beta.-D-1',3'-Dioxolane guanosine AIDS-005430 AIDS005430 DXG