Depolarization of a beam of polarized protons in a synchrotron