Iglesia de San Antón y entrada del mercado de la Ribera