Minced pork and mushroom sauce