Piménta, Agostinho. ) See Agostinho da Cruz.