DR Congo pygmies 'exterminated'