BRST quantization, IOSP(D,2/2) invariance and the PCT theorem