(-)-.beta.-D-2,6-diaminopurine 1',3'-dioxolane, 5'-triphosphate AIDS-082203 AIDS082203 DAPD-TP