he was buried in the basilica of st john lateran