jose m. de castro pinto