脯氨酸类衍生物