Tenderloin of Beef Stuffed with Mushrooms