بيتر, ملك المجر