Synthesis of trovafloxacin using various (1α,5α,6α)-3-azabicyclo[3.1.0]hexane derivatives