A massive, quiescent galaxy at a redshift of 3.717