Elastic scattering of 800-MeV protons by 20Ne nuclei