Hungary gave the Baroque building to the United States after World War II , and it has been used ever since for ceremonies and as a barracks for the marines who guard the American Embassy in Budapest .