San Juan de Letrán, artesonado