Art Deco hotels on Ocean Drive in Miami Beach during the 1980s revival.