Pásztor Gábor (1933-2012)