Derived symplectic geometry. Part 1