J = 3.2 Hz, 1H), 3.99 (dd, J = 11.5 Hz, J =