coro basilica de san ildefonso