Real part of the amplitude of the high-energy forward K+-proton and K−-proton scattering