It was 17th-19th century translators who translated all four terms as man/men (the height of patriarchal society). The tradition persists to some degree nowadays. Even our English word man comes from old high German meaning human. Wirman (vir + man) was for males and woman for females. Man on its own was at one time used only to refer to all people.