Chiesa San Giovanni a Mazzocca: particolare del portale