Studies of mucin-type glycoproteins. Olefinic amino acids, products of the beta-elimination reaction.