About 200 UCSD employees laid off