10b-Phenyl-2,3-dihydro-2H-[1,3]thiazino[2,3-a]isoindol-6(10bH)-one AIDS-005591 AIDS005591 Thiazinoisoindol-6-one, Ph deriv.