Pork Tenderloin without bacon

1 (24 g) envelope brown gravy mix 1/2 cup water 3 tablespoons soy sauce 2 tablespoons balsamic vinegar or 2 tablespoons red wine vinegar 1 garlic clove ,[...]

1 1/2 lbs pork tenderloin, trimmed 2 tablespoons flour 2 cups mushrooms , sliced 3 tablespoons shallots , minced 1 1/2 cups heavy cream 1/4 cup Dijon mustard[...]