Beef tenderloin with boletus sauce