Yo usaría un explode();
Una vez separados por espacio, iria montando la cadena a mi gusto.
En el caso del mes, como no viene representado numericamente, tendría que hacer un switch.
Código PHP:
Ver originalswitch($mes){
case 'jul': $mes_num = '07'; break;
case 'ago': $mes_num = '08'; break;
// ......
}