. . . "Hippocamelus antisensis" .