Microscopic optical potential from the relativistic Brueckner-Hartree-Fock theory: Proton-nucleus scattering | Synapse