Hl. Ildefons, Erzbischof von Toledo