BASICSEMI targets HKD712.5M in Hong Kong IPO starting June 29