A Translation of Beta-binders in a Prioritized Pi-calculus