I do not know if the double quotes are used to show us the format or if they are actually passed into SQL Server. If you can replace them with single quotes, it is a fairly straightfoward conversion:
SELECT CONVERT( datetime, 'May 4 2005 12:00AM')
Hope this helps...
I wasn't born stupid - I had to study.