3-Nitrodibenzothiophene, 5,5-dioxide AIDS-019424 AIDS019424