魏高贵乡公甘露四年,大将军司马昭平定征东将军诸葛诞的。