2,8-Dinitrophenoxathiin, 10,10-dioxide AIDS-017503 AIDS017503