6-Acetyl-4-oxo-1,3-diphenyl-2-thioxo-1,2,3,4-tetrahydrothieno[2,3-d]pyrimidin-5-yl 2-thiophenecarboxylate AIDS-145738 AIDS145738 NSC671139