people's republic of hungary