9b-(3-Ethylphenyl)-2,3-Dihydrothiazolo[2,3-a]isoindol-5(9bH)-one AIDS-005571 AIDS005571 Thiazoloisoindol-5-one, Ph deriv.