Leading proton production in deep inelastic scattering at HERA.