Retablo de san Ildefonso, obra de Fernando Gallego del siglo XV, en la Catedral de San Salvador