On a conjecture related to integer-valued polynomials

Using the following $_4F_3$ transformation formula $$ sum_{k=0}^{n}{-x-1choose k}^2{xchoose n-k}^2=sum_{k=0}^{n}{n+kchoose 2k}{2kchoose k}^2{x+kchoose 2k}, $$ which can be proved by Zeilbergers algorithm, we confirm some special cases of a recent conjecture of Z.-W. Sun on integer-valued polynomials.