Lifting sum-of-squares lower bounds: degree-2 to degree-4 (Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing)