(+/-)-trans-(2S,4R)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]cytosine (+/-)-trans-Dioxolane-C (+/-).a.-DioxolanC AIDS-045367 AIDS045367