2-(2-Dioxaziridin-3-yl-6-fluoro-benzylsulfanyl)-thioisonicotinamide AIDS-088758 AIDS088758