You should have form 1099-R documenting your withdrawal and containing the amount of tax withheld. Enter that when you report that form.
