1-Methanesulfonyl-1,2-dihydro-quinoline-2-carbonitrile AIDS-087612 AIDS087612 Quinoline deriv.