9b-Phenyl-5-oxo-2,3,5,9b-tetrahydrothiazolo[2,3-a]-3-carboxylic acid AIDS-005600 AIDS005600 Thiazoloisoindol-5-one, Ph deriv.