(-)-(2R,4R)-9-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]hypoxanthine (-).b.Dioxol-Hypoxanthine AIDS-005417 AIDS005417