2-(4-Dioxaziridin-3-yl-benzylsulfanyl)-thioisonicotinamide AIDS-088756 AIDS088756