How many different proteins consisting of 100 amino acids can be formed from 20 different amino acids?