Design and synthesis of new fluorogenic HIV protease substrates based on resonance energy transfer