Beef Tenderloin with Madeira Sauce

Name: Beef Tenderloin with Madeira Sauce
Ingredients: 1 center-cut beef tenderloin; ⅓ c. whole-grain mustard; 1 tbsp. each chopped fresh rosemary and thyme; 2 tsp. each minced garlic and olive oil; 1 tsp. each salt and freshly ground pepper; Garnish: rosemary and thyme sprigs; 2 tbsp. butter; 8 oz. sliced crimini or white button mushrooms; 3/4 c. Madeira wine; 1 tsp. minced garlic; 2½ tsp. cornstarch; 1½ c. beef broth; 2 tbsp. tomato paste; 1 tsp. chopped fresh thyme, or 1/4 tsp dried; ½ tsp. each salt and freshly ground pepper