Archibasílica de San Juan de Letrán: San Pedro