roast filet of beef with mushroom-tarragon sauce