紫玉，魏晋人。