Synthesis of erythrina and related alkaloids. 17. Total synthesis of dl-coccuvinine and dl-coccolinine