Manoel Porto Filho (1908-1988)