2-Nitrodibenzothiophene, 5,5-dioxide AIDS-019423 AIDS019423