Эрыхтоній, цар Афін