9b-(2-Thienyl)-2,3-dihydrothiazolo[2,3-a]isoindol-5(9bH)-one AIDS-005559 AIDS005559 Thiazoloisoindol-5-one, thienyl deriv.