Cathedral of Santa Maria degli Angeli, San Matteo and San Gregorio VII