(+)-(2R,4R)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]cytosine (+)-D-.b.-DioxolaneC (+)-D-.beta.-Dioxolane-cytosine AIDS-004282 AIDS004282 D-DOC DOC cis-Dioxolane-C