Yale scientists recode the genome for programmable synthetic proteins