Synthesis and anti‐HIV activity of substituted 1,2,4‐triazolo‐thiophene derivatives