5-Ethyl-8-isopropyl-11-hydroxy-5,10-dihydro-11H-indeno[1,2-b]quinolin-10-one AIDS-193607 AIDS193607