4-异丙基-L-脯氨酸