AIDS-050724 AIDS050724 Ethyl 2-cyano-1,2-dihydroquinolinecarboxylate