GATOR complex protein WDR24