Beef tenderloin with mushroom ragout