(-)-(2R,4S)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]cytosine .alpha.-DioxolaneC AIDS-004283 AIDS004283 trans-Dioxolane-C