(+)-(R)-9b-(1-Naphthyl)-2,3-Dihydrothiazolo[2,3-a]isoindol-5(9bH)-one AIDS-005704 AIDS005704 Thiazoloisoindol-5-one, C10H7 deriv.