Theoretical study of DNA unwinding under the action of formaldehyde