Quantum treatment of protons with the reduced explicitly correlated Hartree-Fock approach.