is tranxene still available