羟脯氨酸可以出现在蛋白质分子中，但没有对应遗传密码的氨基酸是