For mushroom sauce, in a large skillet, cook and stir garlic in the 1 tablespoon butter over medium heat for 2 minutes. Remove and discard garlic. Add finely chopped onion; cook and stir until tender, but not brown. Add the sliced fresh mushrooms and bay leaf. Cook the mixture until the mushrooms are tender.