Diagnosis of HIV infection from bloodstains by PCR. A further marker for identification