Hong Kong stocks end down