4-(2-Thienyl)-6-methyl-8-(2-thienylidene)-3,4,5,6,7,8-hexahydro-1H-pyrido[4,3-d]pyrimidine-2-thione AIDS-095888 AIDS095888