Beef tenderloin with peppercorn sauce