(+)-(2R,4R)-9-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]hypoxanthine (+).a.Dioxol-Hypoxanthine AIDS-005418 AIDS005418