3,7-Di-tert-butyl-1.lambda.~4~-[1,2]thiazino[5,6-g]isoquinoline-1,9-diol 1-oxide AIDS-135025 AIDS135025 NSC634191