(+).a.-DioxolanC .alpha.-L-(+)-(2S,4R)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]cytosine .alpha.-L-Dioxolanyl-cytidine AIDS-005780 AIDS005780 trans-Dioxolane-C