Antonio Raimondi, botanico poco noto