公西蒧,字子上。精通六藝,孔門七十二賢之一。