9b-(3-Nitrophenyl)-2,3-dihydrothiazolo[2,3-a]isoindol-5(9bH)-one AIDS-005576 AIDS005576 Thiazoloisoindol-5-one, Ph deriv.