osman sarmento magalhaes filho