Empirical relationship between the number of nucleotide substitutions and interspecific identity of amino acid sequences in some proteins