How many amino acids are known today?