when year did frank sinatra marry ava gardner?