Ab initio path-integral molecular dynamics and the quantum nature of hydrogen bonds*