Infantile beri-beri in Hong Kong.