脯氨酸屋顶有限