s. Gregorio VII, papa