Tencent slides 7% as mobile revenue fears hit Hong Kong tech stocks