Density functional theory studies on cytosine analogues for inducing double-proton transfer with guanine