(+)-.beta.-D-FDOC (+)-1-[(2-Hydroxymethyl)-1,4-dioxolan-4-yl]-5-fluorocytosine (+)-5F-Dioxolane-C (+)-FDOC 145417-33-0 AIDS-004548 AIDS004548 D-DOFC