When was Enrico Enríquez born?

Enrico Enríquez was born in 1701.