4(1H)-Quinolinone, 1-ethyl-6-(1-methylethyl)-2-(2-thienyl)- AIDS-193516 AIDS193516