Lifting sum-of-squares lower bounds: degree-2 to degree-4 | Synapse