Applying a four-body continuum-distorted-wave formalism in calculating the fully differential cross section for single ionization of helium in collision with high-energy protons