6-Cyano-4-oxo-1,3-diphenyl-2-thioxo-1,2,3,4-tetrahydrothieno[2,3-d]pyrimidin-5-yl 4-(trifluoromethyl)benzoate AIDS-145732 AIDS145732 NSC671133