Cambiar un caracter por otro en una cadena de caracteres (String) con Javascript

Con la función 'replace', un ejemplo sería:

patron = "Antonio";
prueba = '"Juan es listo";
prueba=prueba.replace(patron,'Juan');

En la prueba tendríamos : "Antonio es listo"