3-[(3S,2R,5R)-3-Hydroxy-5-(5-methyl-2,4-dioxo(1,3-dihydropyrimidinyl))oxolan-2-yl](2Z)-2-iodoprop-2-enenitrile AIDS-170422 AIDS170422