1-(Ethylthiocarbonyl)-1,2-dihydroquinoline-2-carbonitrile AIDS-050732 AIDS050732