beef tenderloin with horseradish sauce