Pork tenderloin with apple brandy sauce