3-tert-Butyl-6-(3,3-dimethyl-2-oxobutyl)-1-hydroxy-1.lambda.~4~,2-benzothiazine-7-carboxylic acid 1-oxide AIDS-135026 AIDS135026 NSC634192