بطرس، ملك المجر