Proceed the same as for No. 767, only adding six minced mushrooms three minutes before serving.