Champiñones cocinados con tomate, cebolla, pimientos y especias