2-(2-Dioxaziridin-3-yl-6-fluoro-benzylsulfanyl)-isonicotinonitrile AIDS-088743 AIDS088743