3-Cyano-4-(2-thienyl)-6-methyl-8-(2-thienylidene)-5,6,7,8-tetrahydro-1H-pyrido[3,2-c]pyridin-2-ones AIDS-095891 AIDS095891