Beef tenderloin in mushroom port sauce