Mushroom Stuffed Pork Tenderloin