San Pedro. Portada principal de Santa María la Mayor