Total synthesis of (−)-vallesamidine