王业镇 1933年5月生。海南琼海市人。字云卿，号金真。