Coro de la iglesia de San Ildefonso