Mushroom-crusted beef tenderloin