Coro de la iglesia de San Ildefonso, MADRID