Worst case gust shapes for atmospheric turbulence with known spectrum