00800001_00825000/806504 AIDS-168961 AIDS168961 Pyrido[2',3':4,5]pyrimido[1,2-a]indole-5,11-dione, 10-(trifluoromethyl)-