2-Hydroxy-6-methyl-4-(2-thienyl)-8-(2-thienylmethylene)-5,6,7,8-tetrahydro[1,6]naphthyridine-3-carbonitrile AIDS-153811 AIDS153811 NSC706215