Baked pork tenderloin mushroom sauce