of the dish Mushroom sauce