Coro de la iglesia de san Martín, AREVALO