A phosphodiesterase 4-controlled switch between memory extinction and strengthening in the hippocampus