6-(Benzoylamino)-N-isobutyl-2,4-dioxo-3-phenyl-1,2,3,4-tetrahydrothieno[2,3-d]pyrimidine-5-carboxamide AIDS-144567 AIDS144567 NSC667512