4(1H)-Quinolinone, 1-ethyl-6-(1-methylethyl)-2-(3-thienyl)- AIDS-193518 AIDS193518