6-Methyl-4-(2-thienyl)-8-(2-thienylmethylene)-4,4a,5,6,7,8-hexahydropyrido[4,3-d]pyrimidine-2(3H)-thione AIDS-161628 AIDS161628 NSC706212