Recent progress in the synthesis of bioactive polycyclic natural products