Pork tenderloin barbecue sauce baked