The total synthesis of dl-vernolepin and dl-vernomenin