roast tenderloin of beef with mushroom, onion, and red wi