4(1H)-Quinolinone, 1-ethyl-3-methyl-6-(1-methylethyl)-2-(2-thienyl)- AIDS-193517 AIDS193517