Top Glove downsizes Hong Kong IPO to raise RM4.17 billion in