TOPNC seeks HKD1.6 billion in Hong Kong aerospace IPO