Tenderloin with mushroom sauce