Which type of guided missiles are supersonic, air-to-air weapons with passive infrared target detection, proportional navigation guidance, and torque-balance control systems?

a) AIM-120 AMRAAM
b) AIM-9 Sidewinder
c) AGM-88 HARM
d) AGM-65 Maverick