Budapest, Hungarian People's Republic [now Hungary]