The history of the fetal estrogen estetrol for human use