Total synthesis of (+)-dihydrocompactin