Petty, John (Alleghany County)