2-(4-Dioxaziridin-3-yl-benzylsulfanyl)-isonicotinonitrile AIDS-088740 AIDS088740