A mouse model of Rubinstein-Taybi syndrome: Defective long-term memory is ameliorated by inhibitors of phosphodiesterase 4