Quantum Properties of the Excess Proton in Liquid Water