Finite-Time Stabilization of the Prey-Predator Model ⋆