Tenderloin tips with mushrooms