Marinated Pork Tenderloin