How much did jean baptiste lully made?