Habakkuk, active 7th century B.C.--In rabbinical literature