Infrared study of proton–deuteron mutual diffusion in a CsHSO4/CsDSO4 solid under high pressure