jose francisco martins de lira