1-Ethanesulfonyl-1,2-dihydro-quinoline-2-carbonitrile AIDS-087613 AIDS087613 Quinoline deriv.