(-)-(2S,4S)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]-5-fluorocytosine (-)-5F-Dioxolane-C AIDS-004547 AIDS004547