(+)-(2S,4S)-9-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]hypoxanthine (+).b.-Dioxolan-H AIDS-005794 AIDS005794