Ionization of relativistic K-shell electrons by proton bombardment