Acho que não tem método nativo para converter essa data em JavaScript, mas é possível fazer isso manualmente:

    var rawdate = "Wed Jul 20 2016 14:01:01 GMT-0300 (BRT)",

     parts = rawdate.split(' ');

    var weeks = {
        "Sun": "Domingo",
        "Mon": "Segunda-feira",
        "Tur": "Ter\xe7a-feira",
        "Wed": "Quarta-feira",
        "Thu": "Quinta-feira",
        "Fri": "Sexta-feira",
        "Sat": "S\xe1bado"
    };

    var monthies = {
        "Jan": 1,
        "Feb": 2,
        "Mar" : 3,
        "Apr" : 4,
        "May" : 5,
        "Jun" : 6,
        "Jul" : 7,
        "Aug" : 8,
        "Sep" : 9,
        "Oct" : 10,
        "Nov" : 11,
        "Dec" : 12
    };

    var date = {
        day: parts[2],
        month: monthies[parts[1]],
        time: parts[4],
        week: weeks[parts[0]],
        year: parts[3]
    };

    var rawbrdate = date.week + ", " +
                /* Data */
                (date.day <= 9 ? '0' : '') + date.day +
                "-" +
                (date.month <= 9 ? '0' : '') + date.month +
                "-" +
                date.year +
                /* Horas */
                " às " + date.time;

    console.log(rawbrdate);