New Routes to Clavine-type Ergot Alkaloids. Part 1. First Total Synthesis of Three Natural Products: (+)-Setoclavine, (+)-Isosetoclavine, (-)-9,10-Dihydroisosetoclavine, and Structure Correction of the Latter