Higher Kac-Moody algebras and derived algebraic geometry