South Korea sees $4B dip in IT exports