PET imaging for brain tumor diagnostics.