Total synthesis of 1α,25-dihydroxy-2β-(3-hydroxypropoxy)vitamin D3 (ED-71)