high-energy proton accelerator