2-(2,4-Bis-dioxaziridin-3-yl-benzylsulfanyl)-isonicotinonitrile AIDS-088741 AIDS088741