5,5-Dimethyl-2-phenyl-2,9b-dihydropyridino[1,2-a]indoline-1,3-dione AIDS-072187 AIDS072187 BCH-5