world's first mammal known to have become extinct