Mushroom Ragout^ (Vegetarian)