PHP - formato de fecha no reconocido por PHP

<?php

# creamos un array con los meses y su valor

$month=array("Jan"=>"01", "Feb"=>"02", "Mar"=>"03", "Apr"=>"04", "May"=>"05", "Jun"=>"06", "Jul"=>"07", "Aug"=>"08", "Sep"=>"09", "Oct"=>"10", "Nov"=>"11", "Dec"=>"12");

# esta es la fecha a convertir

$dateUnrecognized="Thu May 16 10:20:01 CTS 2013";

# cogemos cada uno de sus valores en un array

$values=explode(" ",$dateUnrecognized);

# mostramos la fecha en formato entendible para php

echo $values[5]."-".$month[$values[1]]."-".$values[2]." ".$values[3];

?>