王寻纯 (丁酉)