He should have the 1099R from the distribution to report that income n his return.

Divorce settlements aren't a deduction for him, too bad he had to take the money from his 401k to make the payment.