3,5-Dimethyl-4-nitroisoxazole AIDS-189241 AIDS189241