Quasi-linear theory of the ion-beam acoustic instability in the plasma sheet boundary layer