Mass spectrometric proteome analysis suggests anaerobic shift in metabolism of Dauer larvae of Caenorhabditis elegans.