Puerta de San Juan o de los Reyes, en la Catedral