10-Ethyl-7-isopropyl-2-methyl-4,10-dihydro-5H-thieno[3',2':4,5]cyclopenta[1,2-b]quinolin-5-one AIDS-193610 AIDS193610