AIDS-050730 AIDS050730 ethyl 2-cyano-6-fluoro-1,2-dihydroquinolinecarboxylate