Borromini in Laterano sotto Alessandro VII. Il completamento della basilica