Baked pork tenderloin sauce