1,1-Dioxo-1,4-dihydro-2H-1.lamda.6-benzo[1,2,4]thiadiazin-3-one AIDS-082400 AIDS082400