(1 1/4 Pound) Pork Tenderloin