AIDS-137682 AIDS137682 Isopropyl 1,4-dihydroxy-1.lambda.~4~,2-benzothiazine-3-carboxylate 1-oxide NSC642708