Study of proton-coupled electron transfer (PCET) with four explicit diabatic states at the ab initio level