Pork tenderloin with beer