THE FINITE-SIZE SCALING RELATION FOR THE ORDER-PARAMETER PROBABILITY DISTRIBUTION OF THE FOUR-DIMENSIONAL ISING MODEL