PCR identification of HIV‐1 DNA sequences in brain tissue of patients with AIDS encephalopathy