6-Acetyl-4-oxo-1,3-diphenyl-2-thioxo-1,2,3,4-tetrahydrothieno[2,3-d]pyrimidin-5-yl benzoate AIDS-145733 AIDS145733 NSC671134