(+)-(2R,4S)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]-5-iodouracil .a.-5I-DioxolaneU AIDS-004293 AIDS004293