Rewrite the INSERTION-SORT procedure to sort into non-increasing instead of non-decreasing order.

We just need to reverse the comparison of $A_j$ and $key$ in line #5