Butynylamine derivatives and their production