精武门跟陈真比武的是谁