Update hmtnames.csv

added Praxagoras