This is the church of the College, the Iglesia del Patriarca (click to enlarge):

And here are some images from last year's celebrations.
Procession in the cloister:
(A detail readers may note in the procession: the characteristic Spanish surplices with their wings gathered over the arms)
Thanks to Fr Melo of the Spanish Forum Ceremonia y rúbrica de la Iglesia española.