Beef Tenderloin with Mushrooms