THE VATICAN ONLINE: There's a list of the 4 papal these churches, which in addition to St. Peter's include St. John Lateran