可遗传编码的蛋白质精准修饰技术及应用