Roasted Beef Tenderloin with Mushroom Ragout