In 1950s diner terminology, if a customer wanted a hamburger cooked and served with lettuce, tomato, and onion, how would the server order it?