Champiñones cocinados con cebolla y especias