Yes, you would pay the 6% excess contribution penalty for 2019 and he can apply the excess as part of his 2020 contribution. It appears that the deadline for doing anything to avoid the 6% penalty on the amended 2019 tax return has passed.
