Spanish physician, theologian, and Renaissance polymath who first described pulmonary circulation and authored *Christianismi Restitutio*