00800001_00825000/806506 00800001_00825000/806507 00800001_00825000/806508 00800001_00825000/806509 00800001_00825000/806510 00800001_00825000/806511 AIDS-168968 AIDS168968 Pyrido[2',3':4,5]pyrimido[1,2-a]indole-5,11-dione, 9-(trifluoromethyl)-