Iglesia de San Antón y mercado de la ribera