Formula for Proton–Nucleus Reaction Cross Section at Intermediate Energies and Its Application | Synapse