Roderigo de Castro, Estevan (Rodericus Castrensis), médecin portugais, professeur à Pise