AIDS-005593 AIDS005593 Pyrimido[2,1-a]isoindol-6(2H)-one, 1,3,4,10b-tetrahydro-10b-phenyl- Pyrimidoloisoindol-6-one, Ph deriv.