Mushroom sauce in pork tenderloin