科技股上涨之际,沽空者对香港股市下注428亿港元