9b-(3-Isopropylphenyl)-2,3-dihydrothiazolo[2,3-a]isoindol-5(9bH)-one AIDS-005572 AIDS005572 Thiazoloisoindol-5-one, Ph deriv.