With which Windows software can I batch convert a lot of avi and mp4 videos so the output video has increased clip speed (eg. 150% or 1.5)?

Thanks