2-Nitrophenoxathiin, 10,10-dioxide AIDS-019428 AIDS019428