(-)-(2R,4R)-1-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]-5-ioduracil .b.-5I-DioxolaneU AIDS-004292 AIDS004292