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