The Quantum Dynamics of an Excess Proton in Water