Hungary's industrial production increased 4.2% in June