Saint Peter’s, Leo the Great and the leprosy of Constantine