Formal total synthesis of selaginpulvilin D.