5a-Phenylisoindolo[2,3-b][1,3]benzothiazin-10(5aH)-one AIDS-005602 AIDS005602 Indolobenzothiazin-10-one, Ph deriv.