What can be synthesized using carbohydrates and proteins?