Agregué el código pero no hace nada.
boton.addEventListener("click", (event) => {
let boton = document.getElementById("envio");
var nombre = document.getElementById('nombre').value;
var correo = document.getElementById('correo').value;
var asunto = document.getElementById('asunto').value;
var mensaje = document.getElementById('mensaje').value;