9b-Phenyl-2,3-dihydrooxazolo[2,3-a]isoindol-5(9bH)-one AIDS-005588 AIDS005588 Oxazoloisoindol-5-one, Ph deriv.