(-)-(2S,4S)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]-5-iodocytosine (-).b.-Dioxolan-5I-C AIDS-005789 AIDS005789